261. The semantic web -- ISWC 2018 :
Author: Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Semantic Web, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Natural Language Processing (NLP).,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Semantic Web.
Classification :
TK5105
.
88815
262. Theoretical computer science
Author: 3rd GI conference, Darmstadt, March 82-03, 7791 ; edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
267
.
G18
1977
263. Theoretical computer science
Author: 3rd GI conference, Darmstadt, March 82-03, 7791 ; edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
76
.
L4
v
.
48
264. Theoretical computer science :
Author: edited by Lian Li, Pinyan Lu, Kun He.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA75
.
5
265. Theoretical computer science : 3rd GI Conference, Darmstadt, March 28-30, 1977
Author: edited by H. Tzchach, H. Waldschmidt and K.-G. Walter on behalf of the GI
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
76
.
L28
Vol
.
48
266. Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979
Author: edited by K. Weihrauch
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
76
.
L28
Vol
.
67
267. Theoretical computer science : 6th GI-Conference, Dortmund, January 5-7, 1983
Author: edited by A.B. Cremers and H.P. Kriegel
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
76
.
L28
Vol
.
145
268. Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981
Author: edited by Peter Deussen
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
76
.
L28
Vol
.
104
269. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
Author: GI-Fachtagung Theoretische Informatik, 4th, 9791, Aachen
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory-- Congresses,، Formal languages-- Congresses
Classification :
QA
267
.
G18
1979
270. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
Author: edited by K. Weihrauch
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
76
.
L4
v
.
67
271. Theoretical computer science : 6th GI conference, Dortmund, January 5-7, 1983
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory-- Congresses,، Formal languages-- Congresses
Classification :
QA
267
.
G18
1983
272. Theoretical computer science : 5th GI conference, karlsruhe, March 23-25, 1981
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory-- Congresses,، Formal languages-- Congresses
Classification :
QA
267
.
G18
1981
273. Theoretische Informatik :
Author: von Ingo Wegener.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages.,Machine theory.,Theory of computer science.
274. Theory of Finite Automata
Author: \ John Carroll, Darrell Long.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal languages,زبانهای صوری,a04,a04,Sequential machine theory.,ماشین حالتهای متناهی
Classification :
E-Book
,
275. Theory of automata /
Author: Arto Salomaa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages.,Power series.,Sequential machine theory.
Classification :
QA267
.
5
.
S4
S3
1969
276. Theory of automata
Author: Salomaa, Arto.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Sequential machine theory,، Formal languages,، Power series
Classification :
QA
267
.
5
.
S4
.
S3
1969
277. Theory of automata, formal languages and computation
Author:
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory,Formal languages
Classification :
QA276
.
E
944
2004
278. Theory of computation: Formal languages, Automata, and complexity
Author: J. Glenn Brookshear
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Machine theory,Computational complexity
Classification :
QA
،
267
،.
B76
،
1989
279. Theory of computation : formal languages, automata, and complexity
Author: Brookshear, J. Glenn.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Machine theory,، Computational complexity
280. Theory of computation : formal languages, automata, and complexity
Author: Brookshear, J. Glenn
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Machine theory,، Computational complexity
Classification :
QA
267
.
B76
1989
